🛠 Language Design

Type Systems, Compiler Theory, Syntax Evolution, Memory Models, Syntax Creation, Parser Design, Domain Languages, Programming Paradigms

Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·2h·
Discuss: Hacker News
🔩Systems Programming
A Unified Theory of Language
arxiv.org·2d
💻Programming languages
Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
Bootstrapping a Forth for Art
tia.mat.br·6h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Quirks of Common Lisp Types
fosskers.ca·5h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
A type system for RCL (2024)
ruudvanasseldonk.com·10h·
Discuss: Lobsters, Hacker News
💧Liquid Types
Compiling Dinner
gist.github.com·2d·
Discuss: Hacker News
🔨Compilers
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
Mojo Roadmap Document
docs.modular.com·1d·
Discuss: Hacker News
💻Programming languages
The Art of Transformer Programming (2023)
yanivle.github.io·6h·
Discuss: Hacker News
🤖Lisp Machines
Tradeoffs of Highly-Expressive Types
jnkr.tech·9h·
Discuss: Hacker News
🎯Gradual Typing
Forcing ChatGPT to Obey: Minimal and Deterministic Rules
dev.to·15h·
Discuss: DEV
📝ABNF Parsing
D as a Better C (2017)
dlang.org·8h·
Discuss: Hacker News
🔩Systems Programming
Teaching programming languages
kmjn.org·5d
💻Programming languages
Codeminer42 Dev Weekly #76
blog.codeminer42.com·1d
🔄Language Evolution
Micro DSLs for scenario tests with Rust macros
dystroy.org·5h
🦀Rust Macros
Symmetry in subword segmentation
languagelog.ldc.upenn.edu·6h
📄Text Segmentation
Applied AI Fundamentals: Structured Outputs
ouachitalabs.com·14h·
Discuss: Hacker News
📝Concrete Syntax
LLMs running locally
markjgsmith.com·7h
🌀Brotli Internals
Dependent types I › Universes, or types of types
jonmsterling.com·3d·
Discuss: Hacker News
🔤Type Theory